Ked-Flies
نویسندگان
چکیده
منابع مشابه
KED: A Deontic Theorem Prover
Deontic logic (DL) is increasingly recognized as an indispensable tool in such application areas as formal representation of legal knowledge and reasoning, formal specification of computer systems and formal analysis of database integrity constraints. Despite this acknowledgement, there have been few attempts to provide computationally tractable inference mechanisms for DL (most notably [Bel87]...
متن کاملImprovement on LEACH: Seeded LEACH-KED
This paper summarizes the work used to improve low energy adaptive cluster hierarchy (LEACH) algorithm and proposes a new protocol “Seeded LEACH-KED” in order to increase the network lifetime and then compare its result with the LEACH , LEACH-C and LEACH-KED. Prolonging network lifetime is the way to provide energy efficient WSNs. This research is inspired by the fact that LEACH occupies a very...
متن کاملstate compact high repetition rate ked Cr 4 + : YAG laser
operated stably after more than 500h. In conclusion, we obtained a nearly round FFP in the 650nm band wavelength using the S3-laser. The laser had good I-L characteristics and good reliability at lOmW and 60°C. We consider that the laser could be of use as a light source in optical disk systems. and TERAMOTO, I.: 'Novel technology for formation of a narrow active layer in buried heterostructure...
متن کاملChasing flies because time flies.
that the authors conclude that Drosophila can be used as an instrumental model to elucidate the role of immune response as regulators of neuroprotection. In addition to Drosophila , much has been learnt from studying the zebrafish (Danio rerio) , appearing as an early vertebrate during evolution. The zebrafish has become an important organism for exploring defense mechanisms in innate immune re...
متن کاملPeacock flies
A quick guide on peacock flies, a species of insect where, unusually, both males and females perform dances apparently to attract mates.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1945
ISSN: 0028-0836,1476-4687
DOI: 10.1038/155123a0